Deterministic parallel fixpoint computation
نویسندگان
چکیده
منابع مشابه
Fixpoint Computation: Leaking Gas Burner
Real-time distributed system speciication and veriication in asynchronous propositional temporal logic. Let A be the integrator system deened in Figure 5. We use the xpoint computation procedure to prove that the formula y 60 ! 20t y is an invariant of A. It follows that the gas burner leaks at most one twentieth of the time in any interval of at least 60 seconds. Let R i = hpc = 1 ^ t = 0 ^ x ...
متن کاملPrecise Fixpoint Computation Through Strategy Iteration
We present a practical algorithm for computing least solutions of systems of equations over the integers with addition, multiplication with positive constants, maximum and minimum. The algorithm is based on strategy iteration. Its run-time (w.r.t. the uniform cost measure) is independent of the sizes of occurring numbers. We apply our technique to solve systems of interval equations. In particu...
متن کاملParallel computation framework for optimizing trailer routes in bulk transportation
We consider a rich tanker trailer routing problem with stochastic transit times for chemicals and liquid bulk orders. A typical route of the tanker trailer comprises of sourcing a cleaned and prepped trailer from a pre-wash location, pickup and delivery of chemical orders, cleaning the tanker trailer at a post-wash location after order delivery and prepping for the next order. Unlike traditiona...
متن کاملDeterministic Parallel FORTRAN
We describe Fortran M, message-passing extensions to Fortran 77 that provide deterministic execution and information hiding while preserving desirable properties of message passing.
متن کاملComputation of Deterministic Volatility Surfaces
The `volatility smile' is one of the well-known biases of Black-Scholes models for pricing options. In this paper, we introduce a robust method of reducing this bias by pricing subject to a deterministic functional volatility = (S; t). This instantaneous volatility is chosen as a spline whose weights are determined by a regularised numerical strategy that approximately minimises the di erence b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2020
ISSN: 2475-1421
DOI: 10.1145/3371082